A Formal Model for Channel Allocation in Distributed Mobile Computing Systems
نویسندگان
چکیده
The wireless channels are the most important resources in a mobile comuting system. Each communiction session that involes a mobile host requires a channel to be allocated. The possibility of reuse of wireless channels in different cells subject to satisfying the reuse constraint is the main concern for optimizing the channel usage. The channel allocation problem deals with optimization of the channel usage in the mobile computing system. We present a formal model for channel allocation problem in a distributed mobile computing system using Duration Calculus. We propose a new distributed dynamic channel allocation algorithm based on the formal model. The proposed algorithm attempts to bring in the best features of the permission-based and token-based principles. Siba K. Udgata is a senior lecture in the P.G. Dept. of Computer Science, Berhampur University India. He has been a UNU/IIST fellow from 1 March to 31 August, 2001. His research interests include mobile computing, distributed systems. Dang Van Hung is a Resaerch Fellow at UNU/IIST. His research interests include Formal Techniques of Programming, Concurrent and Distributed Systems, Real-Time Systems. E-mail: [email protected]. Copyright c © 2003 by UNU/IIST, Siba K. Udgata and Dang Van Hung
منابع مشابه
Static Task Allocation in Distributed Systems Using Parallel Genetic Algorithm
Over the past two decades, PC speeds have increased from a few instructions per second to several million instructions per second. The tremendous speed of today's networks as well as the increasing need for high-performance systems has made researchers interested in parallel and distributed computing. The rapid growth of distributed systems has led to a variety of problems. Task allocation is a...
متن کاملDistributed Dynamic Channel Allocation for Mobile Computing: Lessons from Load Sharing in Distributed Systems
Mobile computers use wireless channels to communicate with other computers. Ef-cient channel allocation is at the heart of the design of an eecient mobile computing system. The nite number of channels should be eeciently allocated to maximize throughput and avoid co-channel interference. Temporal variations in channel demand require channel allocation to adapt dynamically to the changing demand...
متن کاملA Quorum-based Distributed Channel Allocation Algorithm for Mobile Computing Systems
Since radio spectrum is a scarce resource, eecient allocation of frequency channels is critical for the performance of mobile computing systems. The update approach is a way to allocate radio channels among cells in distributed fashion. In update-based algorithms, each cell maintains its local knowledge about channels available for its use by exchanging messages among cells in its interference ...
متن کاملDistributed Dynamic Fault-Tolerant Channel Allocation for Mobile Computing
E cient allocation of communication channels is critical for the performance of wireless mobile computing systems. The centralized channel allocation algorithms proposed in literature are neither robust, nor scalable. Distributed channel allocation schemes proposed in the past are complicated and require active participation of the mobile nodes. These algorithms are unable to dynamically adjust...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001